There and back again: A circuit extraction tale
نویسندگان
چکیده
Translations between the quantum circuit model and measurement-based one-way are useful for verification optimisation of computations. They make crucial use a property known as gflow. While gflow is defined computations allowing measurements in three different planes Bloch sphere, most research so far has focused on containing only XY-plane. Here, we give first circuit-extraction algorithm to work all having The efficient resulting circuits do not contain ancillae. One-way represented using ZX-calculus, hence also represents general procedure extracting from ZX-diagrams. In developing this algorithm, generalise several concepts results previously XY-plane measurements. We bring together rewrite rules measurement patterns formalise them unified notation ZX-calculus. These used simplify by reducing number qubits while preserving both semantics existence can be applied translating back again.
منابع مشابه
There and Back Again
For the past 40 years, researchers studied the relationship between mental disorder and terrorist involvement. The literature developed in 4 paradigms, each of which differs in terms of their empirical evidence, the specific mental disorders studied, and their conceptualizations of terrorist involvement. These paradigms have not, however, witnessed linear and incremental improvements upon 1 ano...
متن کاملThere and Back Again: The Corticobulbar Loop
Feedback is a ubiquitous anatomical feature of sensory processing in vertebrates. In this issue of Neuron, two papers (Boyd et al., 2012, and Markopoulos et al., 2012) analyze the features of feedback from olfactory cortex to olfactory bulb.
متن کاملFrom MIT SketchML to InkML or There and Back Again
The MIT Sketch Markup Language (SketchML) and the Ink Markup Language (InkML) are both used for sketch data representation. Techniques for exchanging sketch data between the two formats, however, are currently not readily available. In this article, we present a data binding solution for two-way conversion between SketchML and InkML. We show how to transform SketchML files to InkML archiving an...
متن کاملFrom Notation to Semantics: There and Back Again
Mathematical notation is a structured, open, and ambiguous language. In order to support mathematical notation in MKM applications one must necessarily take into account presentational as well as semantic aspects. The former are required to create a familiar, comfortable, and usable interface to interact with. The latter are necessary in order to process the information meaningfully. In this pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quantum
سال: 2021
ISSN: ['2521-327X']
DOI: https://doi.org/10.22331/q-2021-03-25-421